In-system programming

Results: 1455



#Item
731Mathematics / Mathematical analysis / Relaxation / Stochastic programming / Stochastic / Linear programming / Dynamic programming / Duality / Global optimization / Mathematical optimization / Operations research / Convex optimization

Stochastic Lagrangian Relaxation applied to Power Scheduling in a Hydro-Thermal System under Uncertainty M.P. Nowak and W. Romisch Institut fur Mathematik Humboldt-Universitat Berlin

Add to Reading List

Source URL: edoc.hu-berlin.de

Language: English - Date: 2009-10-31 22:42:04
732Computation / Computability / Programming language / Operating system / Applied mathematics / Science / Theory of computation / Lateral computing / Turing Award / Computer science / Computing / Computer

Computing Technology: Created, Fallen, In Need Of Redemption? Joel C. Adams Department of Computer Science Calvin College Abstract If we accept the premise that computing technology is a part of the created order, then a

Add to Reading List

Source URL: www.calvin.edu

Language: English - Date: 2002-08-29 14:10:31
733Data types / Procedural programming languages / Memory management / Pointer / Relocation / Remote procedure call / Object file / Handle / Transmission Control Protocol / Computing / Software engineering / Computer programming

Support for Machine and Language Heterogeneity in a Distributed Shared State System ∗ Chunqiang Tang, DeQing Chen, Sandhya Dwarkadas, and Michael L. Scott Technical Report #783 Computer Science Department, University o

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2002-08-01 16:39:18
734Wireless networking / Embedded operating systems / Embedded systems / TinyOS / Electronics / ANT / Sensor node / Resource / Pixie / Wireless sensor network / Computing / Technology

Resource-Aware Programming in the Pixie Operating System Konrad Lorincz, Bor-rong Chen, Jason Waterman, Geoff Werner-Allen, and Matt Welsh Harvard

Add to Reading List

Source URL: www.eecs.harvard.edu

Language: English - Date: 2008-11-07 09:13:30
735Computing / Modularity / Modular programming / Module / Coupling / Subroutine / D-module / MOHID Water Modelling System / Holism / Software engineering / Computer programming

Experiments in Context-Sensitive Analysis of Modular Programs Jes´ us Correas1 , Germ´an Puebla2 , Manuel V. Hermenegildo2,3 , and Francisco Bueno2 1

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2005-07-26 14:18:02
736Computing / Modularity / Modular programming / Module / Coupling / Subroutine / D-module / MOHID Water Modelling System / Holism / Software engineering / Computer programming

Experiments in Context-Sensitive Analysis of Modular Programs Jes´ us Correas1 , Germ´an Puebla2 , Manuel V. Hermenegildo2,3 , and Francisco Bueno2 1

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2005-07-26 14:18:02
737Artificial intelligence / Formal languages / Models of computation / Logic programming / Logical syntax / Intelligent agent / Production system / Well-formed formula / Agent-based model / Logic / Mathematics / Science

Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2005-12-12 08:39:57
738Computing / Modularity / Modular programming / Module / Coupling / Subroutine / D-module / MOHID Water Modelling System / Holism / Software engineering / Computer programming

Experiments in Context-Sensitive Analysis of Modular Programs Jes´ us Correas1 , Germ´an Puebla2 , Manuel V. Hermenegildo2,3 , and Francisco Bueno2 1

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2005-12-09 12:06:47
739Software engineering / Object Manager / Windows NT architecture / Object / Pose / E / Computer programming / Object-oriented programming / Computer vision / Computing

Managing Dynamic Object Structures using Hypothesis Generation and Validation Fredrik Heintz and Patrick Doherty Abstract Any autonomous system embedded in a dynamic and changing environment must be able to create qualit

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-03 07:01:06
740Inter-process communication / Software engineering / Computer programming / Computer data / Stream / Flow-based programming / Computing / Programming paradigms / Models of computation

Stream Reasoning in DyKnow: A Knowledge Processing Middleware System? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping Univers

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2011-05-25 05:58:43
UPDATE